integral of sec^2(2x)